陳清亮, Chen Qingliang in C-DBLP

肖茵茵 蘇開樂 岳偉亞 陳清亮 呂關鋒 楊晉吉. SET證書申請協議在SPV下的自動化驗證及改進. 電腦學報, 2008, 31 (06): 1035-1045 2007 6 蘇開樂 陳清亮 岳偉亞. 一種規約於可滿足性問題(SAT)的知識推理演算法.

www.cdblp.cn